Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
481	TUGboat, Volume[removed]), No. 2 A short introduction to METAPOST Klaus Höppner Abstract METAPOST is a program strongly related to Knuth’s orginal METAFONT. It uses nearly the same graphics language and syntax, but in Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:27 Donald Knuth Vector graphics markup languages MetaPost PostScript Public domain software TeX Metafont Computer Modern Pic language Computing Application software Software
482	TUGboat, Volume[removed]), No. 2 A short introduction to METAPOST Klaus Höppner Abstract METAPOST is a program strongly related to Knuth’s orginal METAFONT. It uses nearly the same graphics language and syntax, but in Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:27 Donald Knuth Vector graphics markup languages MetaPost PostScript Public domain software TeX Metafont Computer Modern Pic language Computing Application software Software
483	TUGboat, Volume[removed]), No. 2 A short introduction to METAPOST Klaus Höppner Abstract METAPOST is a program strongly related to Knuth’s orginal METAFONT. It uses nearly the same graphics language and syntax, but in Add to Reading List Source URL: tug.org Language: English - Date: 2009-09-26 12:32:27 Donald Knuth Vector graphics markup languages MetaPost PostScript Public domain software TeX Metafont Computer Modern Pic language Computing Application software Software
484	TUGboat, Volume[removed]), No. 2 A short introduction to METAPOST Klaus Höppner Abstract METAPOST is a program strongly related to Knuth’s orginal METAFONT. It uses nearly the same graphics language and syntax, but in Add to Reading List Source URL: tug.org Language: English - Date: 2009-09-26 12:32:27 Donald Knuth Vector graphics markup languages MetaPost PostScript Public domain software TeX Metafont Computer Modern Pic language Computing Application software Software
485	The new ISO[removed]financial messaging standard and its encodings ISO[removed]ISO[removed]is an international standard, published by the International Organization for Standardization (ISO), that aims to enhance communication Add to Reading List Source URL: www.oss.com Language: English - Date: 2013-06-04 13:07:00 Abstract Syntax Notation One Basic Encoding Rules XML Encoding Rules Distinguished Encoding Rules Packed Encoding Rules ISO 20022 XML Encoding Control Notation Fast Infoset Computing OSI protocols Information
486	Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:38 Automated theorem proving Logical syntax Mathematical logic Proof theory Heuristics Rippling Mathematical proof Theorem NP Logic Mathematics Theoretical computer science
487	Microsoft Word[removed]TutorialSchedule-V2.doc Add to Reading List Source URL: www.ieee802.org Language: English - Date: 2010-10-15 18:45:02 Data Computing Information Abstract Syntax Notation One IEEE 802.15 Institute of Electrical and Electronics Engineers Communications protocol ITU-T Working groups IEEE 802 Standards organizations
488	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:39 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
489	ES[removed]V1[removed]Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Support of interfaces with continuous signals Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-06-19 06:07:58 TTCN-3 TTCN Evaluation Real Time Testing Computing European Telecommunications Standards Institute Abstract Syntax Notation One Signal Discrete signal Software testing Digital signal processing Signal processing
490	ES[removed]V1[removed]Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Advanced Parameterization Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-06-13 04:22:45 TTCN-3 TTCN Abstract Syntax Notation One Parameter European Telecommunications Standards Institute 3GP and 3G2 C++ AS/400 Control Language Concepts Computing Software engineering Software testing

UPDATE